Jaakko Leino's Documents

Jaakko Leino's Documents

Socratic Epistemology: Explorations of Knowledge-Seeking by Questioning

Socratic Epistemology: Explorations of Knowledge-Seeking by Questioning
Read more
Socratic Epistemology: Explorations of Knowledge-Seeking by Questioning

Socratic Epistemology: Explorations of Knowledge-Seeking by Questioning
Read more
The Principles of Mathematics Revisited

The Principles of Mathematics Revisited
Read more
Language-Games for Quantifiers

Language-Games for Quantifiers
Read more
Words and Objections: Essays on the Work of W.V.Quine. Revised Edition (Synthese Library, 21)

Words and Objections: Essays on the Work of W.V.Quine. Revised Edition (Synthese Library, 21)
Read more
The Philosophy of Mathematics (Readings in Philosophy)

The Philosophy of Mathematics (Readings in Philosophy)
Read more
The Last Pagans of Iraq: Ibn Wahshiyya And His Nabatean Agriculture (Islamic History and Civilization)

The Last Pagans of Iraq: Ibn Wahshiyya And His Nabatean Agriculture (Islamic History and Civilization)
Read more
The Philosophy of Mathematics (Readings in Philosophy)

The Philosophy of Mathematics (Readings in Philosophy)
Read more
Spectral Interpretation of Decision Diagrams

Spectral Interpretation of Decision Diagrams
Read more
Words and Objections: Essays on the Work of W.V.Quine. Revised Edition (Synthese Library, 21)

Words and Objections: Essays on the Work of W.V.Quine. Revised Edition (Synthese Library, 21)
Read more
From Boolean Logic to Switching Circuits and Automata: Towards Modern Information Technology (Studies in Computational Intelligence)

From Boolean Logic to Switching Circuits and Automata: Towards Modern Information Technology (Studies in Computational Intelligence)
Read more
Fundamentals of Switching Theory and Logic Design

Fundamentals of Switching Theory and Logic Design
Read more
From Boolean Logic to Switching Circuits and Automata: Towards Modern Information Technology

From Boolean Logic to Switching Circuits and Automata: Towards Modern Information Technology
Read more
The Logic of Epistemology and the Epistemology of Logic: Selected Essays (Synthese Library, 200)

The Logic of Epistemology and the Epistemology of Logic: Selected Essays (Synthese Library, 200)
Read more
The Logic of Epistemology and the Epistemology of Logic: Selected Essays (Synthese Library, 200)

The Logic of Epistemology and the Epistemology of Logic: Selected Essays (Synthese Library, 200)
Read more
The Logic of Epistemology and the Epistemology of Logic: Selected Essays (Synthese Library, Volume 200)

The Logic of Epistemology and the Epistemology of Logic: Selected Essays (Synthese Library, Volume 200)
Read more
Tools and Algorithms for the Construction and Analysis of Systems - TACAS 2011

Tools and Algorithms for the Construction and Analysis of Systems - TACAS 2011
Read more
Fourier Analysis on Finite Groups with Applications in Signal Processing and System Design

Fourier Analysis on Finite Groups with Applications in Signal Processing and System Design
Read more
Pervasive Games: Theory and Design (Morgan Kaufmann Game Design Books)

Pervasive Games: Theory and Design (Morgan Kaufmann Game Design Books)
Read more
Fourier analysis on finite groups, applications in signal processing and system design

Fourier analysis on finite groups, applications in signal processing and system design
Read more
Pervasive Games: Theory and Design (Morgan Kaufmann Game Design Books)

Pervasive Games: Theory and Design (Morgan Kaufmann Game Design Books)
Read more
Advances in Intelligent Data Analysis X: 10th International Symposium, Ida 2011, Porto, Portugal, October 29-31, 2011, Proceedings

Advances in Intelligent Data Analysis X: 10th International Symposium, Ida 2011, Porto, Portugal, October 29-31, 2011, Proceedings
Read more
Fourier Analysis and Its Applications

Fourier Analysis and Its Applications
Read more
Microarray Quality Control

Microarray Quality Control
Read more
Fourier Analysis and Its Applications

Fourier Analysis and Its Applications
Read more
Binary polynomial transforms and nonlinear digital filters

Binary polynomial transforms and nonlinear digital filters
Read more
Advances in Intelligent Data Analysis X. 10th International Symposium IDA 2011 Proceedings (Lecture Notes in Computer Science)

Advances in Intelligent Data Analysis X. 10th International Symposium IDA 2011 Proceedings (Lecture Notes in Computer Science)
Read more
The Great Financial Crisis in Finland and Sweden: The Nordic Experience of Financial Liberalization

The Great Financial Crisis in Finland and Sweden: The Nordic Experience of Financial Liberalization
Read more
Discovery Science. 14th International Conference DS 2011 Proceedings (Lecture Notes in Artificial Intelligence)

Discovery Science. 14th International Conference DS 2011 Proceedings (Lecture Notes in Artificial Intelligence)
Read more
Knowledge and Belief - An Introduction to the Logic of the Two Notions

Knowledge and Belief - An Introduction to the Logic of the Two Notions
Read more